" Ferruccio Damiani" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

Автор: Stefano Berardi, Автор: Ferruccio Damiani

Категория: Компьютеры

Размер книги: 3.61 Mb

Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008: revised selected papers

Автор: Stefano Berardi, Автор: Ferruccio Damiani, Автор: Ugo de Liguoro

Размер книги: 4.52 Mb

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Автор: Stefano Berardi, Автор: Mario Coppo, Автор: Ferruccio Damiani

Размер книги: 3.44 Mb